תגית: תחשיב הפסוקים

4 פוסטים

• 2012-04-24

  תחשיב הפסוקים - משפט הקומפקטיות ואיך משפט השלמות דומה למשפט טיכונוף

• 2012-04-08

  משפט השלמות לתחשיב הפסוקים

• 2012-04-04

  תחשיב הפסוקים - על נביעה לוגית והוכחות

• 2012-03-28

  תחשיב הפסוקים

← חזרה לכל התגיות